机译:归约系统中纯角子句逻辑编程的实现
机译:非角子句逻辑编程的复杂性
机译:<! “键入=”leinedraw“/> InlinemediaObject>
机译:半分区号角子句:类型的可逻辑
机译:使用horn子句和二进制决策图进行程序分析。
机译:第22届国际中风遗传学联盟研讨会论文集
机译:关于(约束)逻辑编程的第29和第30届讲习班 和第24届功能和(约束)逻辑国际研讨会 程序设计
机译:关于演绎数据库和逻辑编程的研讨会DDLp'96的会议记录(与JICsLp'96合作的第四次研讨会)。 1996年9月5日至6日在德国波恩举行